Oxford University Computing Laboratory - PDFSEARCH.IO - Document Search Engine

Oxford University Computing Laboratory
Results: 135

#	Item
41	Scalable Ontology-Based Information Systems Ian Horrocks <> Information Systems Group Oxford University Computing Laboratory Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2009-11-16 12:30:49
42	A Saturation Method for the Modal Mu-Cal ulus with Ba kwards Modalities over Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:59
43	Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:57
44	Taking the OXPath down the Deep Web∗ Andrew Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD firstname.lastn Add to Reading List Source URL: christian.schallhart.net Language: English - Date: 2015-08-22 10:39:54
45	Analysing Mu-Calculus Properties of Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:59
46	Interpolating Quantifier-Free Presburger Arithmetic Daniel Kroening1 , Jérôme Leroux2 , and Philipp Rümmer1 1 2 Oxford University Computing Laboratory, United Kingdom Add to Reading List Source URL: www.labri.fr Language: English - Date: 2014-03-17 06:03:49
47	Quantum CS with Graph Rewriting and CAS Aleks Kissinger Oxford University Computing Laboratory July 6, 2009 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2009-11-09 13:02:10
48	Prior’s Tonk and Proof-Theoretic Harmony Yoshihiro Maruyama Oxford University Computing Laboratory http://researchmap.jp/ymaruyama Add to Reading List Source URL: conference.prior.aau.dk Language: English - Date: 2014-08-18 11:50:07
49	A Curry-Howard foundation for functional computation with control C.-H. L. Ong C. A. Stewarty Oxford University Computing Laboratory Add to Reading List Source URL: www.textproof.com Language: English - Date: 2009-08-20 21:39:55
50	The complexity of valued constraint models ˇ y, Peter Jeavons Standa Zivn´ Oxford University Computing Laboratory 22 September, 2009 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-02-11 12:09:22